]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
ci: Silence some warnings
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 23 Apr 2019 16:36:19 +0000 (16:36 +0000)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 26 Apr 2019 19:32:51 +0000 (21:32 +0200)
... as suggested by Jonas in mutter!548.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/509

.gitlab-ci/checkout-mutter.sh

index 1fb7c6f9d2a7c71be77f3e344223087784e965ca..6539d80ea221a194cf9cf58fde4e96849336caf1 100755 (executable)
@@ -17,7 +17,7 @@ if [ "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" ]; then
   merge_request_branch=$CI_MERGE_REQUEST_SOURCE_BRANCH_NAME
 
   echo Looking for $merge_request_branch on remote ...
-  if git fetch $merge_request_remote $merge_request_branch >/dev/null 2>&1; then
+  if git fetch -q $merge_request_remote $merge_request_branch; then
     mutter_target=FETCH_HEAD
   fi
 fi
@@ -28,4 +28,4 @@ if [ -z "$mutter_target" ]; then
   echo Using $mutter_target instead
 fi
 
-git checkout $mutter_target
+git checkout -q $mutter_target